CS 677: Homework Assignment 2 Due: February 18, 6:15pm Philippos Mordohai Department of Computer Science Stevens Institute of Technology

Source URL: www.cs.stevens.edu

• Computer programming
• Software engineering
• Computing
• Concurrent computing
• Parallel computing
• Thread
• Java
• Load
• Subroutine
• Monitor

Software support for the Computation Independent Modelling in the MDA context Andreas Martin, Peter Loos Institute for Information Systems (IWi) at the German Research Center for Artificial Intelligence (DFKI), Stuhlsatz

Source URL: ftp.informatik.rwth-aachen.de

• Engineering
• Systems engineering
• Software engineering
• Systems science
• Scientific modeling
• Software architecture
• Software design
• Unified Modeling Language
• Model-driven architecture
• Information model
• Platform-specific model
• Business Process Model and Notation

NIELS BOHR INSTITUTE FACULTY OF SCIENCE UNIVERSITY OF COPENHAGEN DENMARK A High Performance Backend

Source URL: hiperfit.dk

• Computing
• Software engineering
• Computer programming
• Parallel computing
• Programming paradigms
• Computer architecture
• Domain-specific language
• Multi-core processor
• Assembly language
• Array programming
• Fortran
• Array data type

IEEE HPCC-2011 Call For Papers With the rapid growth in computing and communications technology, the past decade has witnessed a proliferation of powerful parallel and distributed systems and an ever increasing demand fo

Source URL: cse.stfx.ca

• Computing
• Parallel computing
• Computer programming
• Distributed computing
• Software engineering
• HPCC
• Piscataway
• New Jersey
• Institute of Electrical and Electronics Engineers
• Ambient intelligence

Lydia B. Chilton Teaching Statement I teach because I love returning to the fundamentals. Being constantly reminded of the basics helps me focus on the important problems in computer science and human-computer interactio

Source URL: hmslydia.com

• Education
• Technology
• Humancomputer interaction
• Educational psychology
• Economy
• PayPal
• Venmo
• Educational technology
• Massachusetts Institute of Technology
• Crowdsourcing
• Software development
• Software engineering

Control Flow Obfuscation with Information Flow Tracking∗ Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang Parallel Processing Institute Fudan University

Source URL: ipads.se.sjtu.edu.cn

• Computing
• Software engineering
• Computer programming
• Compiler construction
• Control flow
• Obfuscation
• Source code
• Programming language implementation
• Opaque predicate
• Control flow graph
• Data-flow analysis
• Exception handling

Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Type theory
• Programming language theory
• Computing
• Parametric polymorphism
• Polymorphism
• Type system
• Covariance and contravariance
• HindleyMilner type system
• Type inference
• Subtyping
• System F

Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman

Source URL: www.cs.ioc.ee

• Theoretical computer science
• Models of computation
• Mathematical logic
• Software engineering
• Computability theory
• Denotational semantics
• Logic in computer science
• Lambda calculus
• Substitution
• Function type

Leading Information and Communication Technology Companies in the Pittsburgh Region Company Crown Castle USA Ansys Software Engineering Institute Ariba

Source URL: www.pittsburghregion.org

The Software Engineering Ph.D. Program at Carnegie Mellon Fall 2015 Jonathan Aldrich, Ph.D. Program Director Institute for Software Research, Carnegie Mellon University

Source URL: www.isri.cmu.edu